\begin{tabbing}
f{-}newround\=\{\$x:ut2, \$free:ut2, \$mine:ut2\}\+
\\[0ex](${\it es}$; $L$; $e$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=((es{-}loc(${\it es}$; $e$) $\in$ $L$ $\in$ Id) $\wedge$ es{-}change{-}to(${\it es}$;Id;mkid\{\$x:ut2\};$e$;mkid\{\$free:ut2\}))\+
\\[0ex]$\wedge$ (es{-}when(${\it es}$; mkid\{\$x:ut2\}; $e$) = mkid\{\$mine:ut2\} $\in$ Id)
\-
\end{tabbing}